A Formal Semantic Framework for Sadl Language
نویسندگان
چکیده
The primary purpose of an ADL (Architecture Description Language) is to specify the structural composition of a software system in terms of system's components and connectors through the means of a formal representational language. Many ADLs have emerged recently, none of them addresses formal analysis and verification of distributed architecture with a tractable model and an efficient mechanisable technique. In this paper, we explore the possibility of using Rewriting Logic model (via its Maude language) for specifying SADL architectural systems, showing how to conceive a behavior specification of systems using Maude concepts and rules. With them we do not only obtain a high level specification of SADL architecture system behavior, but we are also in a position to formally reason about and prototype the specification design produced and prototype it.
منابع مشابه
A Simulation Architecture Description Language for Hardware-in-loop Simulation of Safety Critical Systems
The architecture is a key aspect of the design of any system including simulation systems. An architecture description should provide a formal specification of the architecture in terms of components and connectors and how they are composed together. Further, a simulation architecture description for safety critical system must provide a specification of how the architecture can satisfy safety ...
متن کامل,qwhjudwlqj Wkh &rqfhuq%$6 ( $ssurdfk Zlwk 6$'/
%675$&7 We describe ConcernBASE, a UML-based approach that is an instantiation of the IEEE’s Conceptual Framework (Std 1471) for describing software architectures. We show how the approach supports advanced separation of concerns in software architecture by allowing one to identify and define multiple viewpoints, concern spaces and views of an architecture. Our work focuses on integrating the C...
متن کاملSADL: Simulation Architecture Description Language
This paper introduces the Simulation Architecture Description Language (SADL) developed at the National Aeronautics and Space Administration’s Marshall Space Flight Center to support the real-time simulation of advanced avionics systems. SADL is a graphical, domain-specific Architecture Description Language (ADL) that facilitates the high-level specification of both the software and hardware as...
متن کاملA Semantic Model for Cyber Security
Smart Grid security is challenging as experts in both IT Security and ICS [Industrial Control Systems] systems are few. Expertise in multiple domains is needed, and tools that can be used to analyze smart grid systems during the design phase are nonexistent. We used Semantic Web Technology to create an ontology that is capable of reasoning about security attributes. We used SADL (Semantic Appli...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کامل